Kleene and Stone Algebras
نویسنده
چکیده
Boolean algebras are affine complete by a well-known result of G. Grätzer. Various generalizations of this result have been obtained. Among them, a characterization of affine complete Stone algebras having a smallest dense element was given by R. Beazer. In this paper, generalizations of Beazer’s result are presented for algebras abstracting simultaneously Kleene and Stone algebras.
منابع مشابه
Stone-Kleene Relation Algebras
We develop Stone-Kleene relation algebras, which expand Stone relation algebras with a Kleene star operation to describe reachability in graphs. We show that finite matrices over extended real numbers form an instance. These theories are being prepared for the Archive of Formal Proofs. Further documentation will be added.
متن کاملFUNCTIONAL FREENESS FOR THE BERMAN CLASS Km,n OF OCKHAM ALGEBRAS
In this paper we show that an algebra Ω(m,n) is functionally free for the Berman class Km,n of Ockham algebras, that is, for any two polynomials f and g, they are identically equal in Km,n if and only if f = g holds in Ω(m,n). This result can be applied to the well-known algebras, e.g., Boolean, de Morgan, Kleene, Stone, Bunge algebras, and so on.
متن کاملOn Partially Additive Kleene Algebras
We define the notion of a partially additive Kleene algebra, which is a Kleene algebra where the + operation need only be partially defined. These structures formalize a number of examples that cannot be handled directly by Kleene algebras. We relate partially additive Kleene algebras to existing algebraic structures, by exhibiting categorical connections with Kleene algebras, partially additiv...
متن کاملSTONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کاملIndependence-friendly cylindric set algebras
Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG logic. We attempt to algebraize IFG logic in the same way that Boolean algebra is the algebra of propositional logic and cylindric algebra is the algebra of ...
متن کامل